Struct isotope::ctx::eq::DisjointSetCtx [−][src]
pub struct DisjointSetCtx { /* fields omitted */ }
Expand description
A standard context for hash-consing and equality checking
Implementations
Trait Implementations
Whether when two terms are consed by this context they are guaranteed to be pointer-equal
Shallow-cons a term; if already consed, return TermId
. Read more
Check whether this TermId
is consed
Get a term with the given code, if any has been registered into this context. May not be the only term with that code in the case of a hash collision. Read more
Convert this to a trait pointer Read more
Returns the “default value” for a type. Read more
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Check two terms are equivalent within this structure
Check whether this term is equivalent to a type in this context
Make two terms equivalent within this structure, returning whether they were already equivalent If this data structure conses, then this will deep cons both terms! Read more
Check two terms are equivalent, potentially optimizing the underlying data structure Consing is optional Read more
Check two terms are equivalent, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Check two terms are equivalent, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Get a term’s root form in this context, potentially optimizing the underlying data structure
Get a term’s universe in this context, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Get a term’s root form in this context, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Get this term as a dynamic typing context
Quickly approximate equality between two terms: return None
if unknown
Check whether it is possible for two terms to be equal by code/address alone
Cache two equal shallow-consed terms. Read more
Get the untyped equality mask for this context
Get the untyped equality mask for this context
type ConsCtx = Self
type ConsCtx = Self
Get this context’s underlying consing context, if any
type TermEqCtx = Self
type TermEqCtx = Self
Get this context’s underlying equality checking context, if any
type MaxDeref = Self
type MaxDeref = Self
Get this context’s maximally dereferenced type, if any
Constrain a variable to have a given annotation. Return whether this constraint typechecks
Check whether a variable is compatible with a given annotation.
Push a parameter onto this context with an optional annotation
Get whether this context is universal for true/false global type-checking values given a filter
Get whether this context is universal for true/false variable type-checking values given a filter
Get whether this context is universal for true/false path type-checking values given a filter
Get whether this context assumes a value for type-checking given flags
Get whether this context assumes a value for globally type-checking given flags
Get whether this context assumes a value for variable type-checking given flags
Get whether this context assumes a value for path type-checking given flags
Get the base index of this context
Reset this context’s unbound variable constraints
Get this context’s underlying equality checking context
Auto Trait Implementations
impl !RefUnwindSafe for DisjointSetCtx
impl Send for DisjointSetCtx
impl Sync for DisjointSetCtx
impl Unpin for DisjointSetCtx
impl !UnwindSafe for DisjointSetCtx
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.